$\forall$${\it es}$:ES. es{-}oaxioms(${\it es}$) $\in$ EOrderAxioms(E; es{-}pred?(${\it es}$); es\_info(${\it es}$))